841. Mathematics of program construction : 375th Anniversary of the Groningen University : International Conference, Groningen, the Netherlands, June 26-30, 1989 : Proceedings
پدیدآورنده : J.L.A. van de Snepscheut )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
375
842. Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings
پدیدآورنده : Eerke A. Boiten, Bernhard Moller )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
2386
843. Mathematics of program construction : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 : proceedings
پدیدآورنده : Johan Jeuring, )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
1422
844. Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
پدیدآورنده : Roland Backhouse, Jose Nuno Oliveira )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
1837
845. Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
پدیدآورنده : Dexter Kozen )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
3125
846. Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M366
1989
847. Mathematics of software constructions
پدیدآورنده : Norcliffe, Allan
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Mathematics- 1691-,، Computer science- Mathematics,، Software eingineering
848. Maximum Penalized Likelihood Estimation
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Statistics. ; Biometrics. ; Statistical methods. ; Computer science ; Mathematics. ; Mathematical statistics. ; Econometrics. ; Statistics. ; Computational Mathematics and Numerical Analysis. ; Biostatistics. ; Signal, Image and Speech Processing. ; Econo
849. Meshfree Methods for Partial Differential Equations V
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mathematics. ; Differential equations, partial. ; Computer science ; Mathematics. ; Computer science. ; Mechanics, applied. ; Mathematics. ; Computational Mathematics and Numerical Analysis. ; Computational Science and Engineering. ; Partial Differential
850. Methods and Models in Mathematical Programming
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mathematics. ; Software engineering. ; Computational Mathematics and Numerical Analysis. ; -Computer mathematics. ; Computer science
851. Mixed Finite Element Methods and Application
پدیدآورنده : / by Daniele Boffi, Franco Brezzi, Michel Fortin
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics,Computer science, Mathematics,Computer science,Mechanics, applied,Electronic books
رده :
E-BOOK
852. Modeling, Simulation and Optimization of Complex Processes : Proceedings of the Fourth International Conference on High Performance Scientific Computing, March 2-6, 2009, Hanoi, Vietnam
پدیدآورنده : Georg Bock, Hans
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Mathematical optimization.,، Computer science.,، Mathematics.
رده :
QA
76
.
88
.
I5667
2012
853. : Modeling and Computational Science
پدیدآورنده : \ Roderick Melnik, Roman Makarov, Jacques Belair, Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Mathematics.,Mathematical models. ,Computer science-- Mathematics., ریاضیات,الگوهای ریاضی,علوم کامپیوتر -- ریاضیات
رده :
E-book
,
854. Modeling and Simulatio
پدیدآورنده : / electronic resource
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics,Computer simulation,Computer science, Mathematics,Computer science,Mathematics,Computational Science and Engineering,Computational Mathematics and Numerical Analysis,Mathematical Modeling and Industrial Mathematics,Simulation and Modeling
رده :
E-BOOK
855. Modeling and analysis of communicating systems
پدیدآورنده : Groote, Jan Friso, 5691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Simulation methods ، Telecommunication systems,، Computer science -- Mathematics,، Machine theory
رده :
TK
5102
.
83
.
G76M6
856. Modern Cryptography
پدیدآورنده : \ Chuck Easttom
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Data encryption (Computer science),Information networks -- Security measures -- Mathematics.,رمزگذاری دادهها,شبکههای اطلاعرسانی -- تدابیر ایمنی -- ریاضیات
رده :
E-Book
,
857. Modern Mathematical Methods and High Performance Computing in Science and Technology
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Mathematics -- Congresses,Computer science -- Mathematics -- Congresses,High performance computing -- Congresses,ریاضیات -- کنگرهها,علوم کامپیوتر -- ریاضیات -- کنگرهها,دادهپردازی با بازدهی عالی -- کنگرهها
رده :
E-Book
,